recorder: Adapt to widget visibility changes
authorTimm Bäder <mail@baedert.org>
Thu, 19 Jan 2017 11:26:56 +0000 (12:26 +0100)
committerTimm Bäder <mail@baedert.org>
Fri, 20 Jan 2017 20:50:02 +0000 (21:50 +0100)
commitc36ad400fa645c4bd54b8f3ae5796c44a59bf4dc
tree74166c7f6bd56fbbb77274f550a84ff8de4f23e5
parent3ec15d98facb23b640fbedcc6d28630a3762b0da
recorder: Adapt to widget visibility changes

We now need to explicitly hide the details label.
gtk/inspector/recorder.c